testcase TC_CR_FE_BV_06() runs on EutComp system TestAdapter {
  var ChargeReport v_chargeReport : = null;
  f_Charging_Preambule ( );
  f_SendContextData ( m_ContextData_default_mileage_requested );
  f_userActions ( cmdSet , mileageRollOver );
  f_userActions ( cmdSet , contract1 );
  t_ac . start;
  alt {
    [ ] pco . receive ( mw_chargeReport_mileageRollOver ( 16777215 ) ) -> value v_chargeReport {
      t_ac . stop;
      pco . send ( m_chargeReportResponse_transactionCounter ( PX_TRANSACTION_COUNTER_RESPONSE ) );
      f_userActions ( cmdInc , incMileageDist );
      t_ac . start;
      alt {
        [ ] pco . receive ( mw_chargeReport_tableC1 ) -> value v_chargeReport {
          t_ac . stop;
          var float delta : = int2float ( v_chargeReport . mileage . dist );
          if ( delta > PX_EPSILON ) {
            setverdict ( fail );
          }
          else {
            setverdict ( pass );
            pco . send ( m_chargeReportResponse_transactionCounter ( PX_TRANSACTION_COUNTER_RESPONSE ) );
          }
        }
      }
    }
  }
  f_Charging_Postambule ( );
}

Description

TC_CR_FE_BV_06: Verify that mileage rolls over

Remarks

[TS 17575-1], Clause 6.3.6 mileage